μcalculus 相关硕士博士期刊学术论文 - 搜论网

μcalculus相关论文

面向传值进程的谓词μ—演算与FO（HML）的完备推演系统

作者提出一个谓词μ-演算系统,目的在于描述传值进程的性质.该系统的公式和谓词相互递归定义,谓词中含有抽象式、谓词变元以及最大......

期刊

传值进程谓词μ-演算 FO 完备推演系统计算机 valuepassing processes μcalculus model checking tab

看过本文同时还关注